1. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل

المؤلف:

المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

2. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل

المؤلف:

المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

3. ‎قضيه گودل‎

المؤلف:

المکتبة: مکتبه الامام الرضا (ع) "سبزوار" (آستان القدس الرضوية) (خراسان رضوی)

موضوع: گودل، قضيه

رده :
۵۱۱
/
۳
ق
۶۷۹

4. قضیه گودل

المؤلف:

المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع: گودل، قضیه

رده :
QA
۹
/
۶۵
/
ق
۶ ۱۳۹۳

5. ‎قضيه گودل‎

المؤلف:

المکتبة: (خراسان رضوی)

موضوع: گودل، قضيه

رده :
۵۱۱
/
۳
ق
۶۷۹

6. قضیه‌ گودل‌

المؤلف:

المکتبة: كتابخانه دانشگاه مفيد (قم)

رده :
QA
۹
/
۶۵
/
ق
۶ ۱۳۹۹

7. قضیه‌ گودل‌

المؤلف:

المکتبة: (کلستان)

موضوع: گودل‌، قضیه‌

رده :
QA
۶۵
/
۹
/
ن
۹
ق
۶

8. قضیه گودل

المؤلف:

المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع: گودل، قضیه

رده :
‏‫‬‭
QA
۹
/
۶۵ ‏‫‭
/
ق
۶ ۱۳۹۳

9. قضیه گودل

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: گودل، قضیه

رده :
QA
۹
/
۶۵
/
ن
۲
ق
۶

10. قضيه گودل

المؤلف:

المکتبة: کتابخانه عمومی حسینیه ارشاد (طهران)

موضوع: گودل، قضيه

رده :
511
/3
ن
979
ق

11. قضیة ناتمامیت گودل و فلسفة ذهن

المؤلف:

المکتبة: (طهران)

موضوع: هوش مصنوعی;قضایای ناتمامیت گودل;مکانیک گرایی;ضد مکانیک گرایی;استدلال پن روز;

12. قضیه ناتمامیت گودل ومدل ماشینی درقلسفه ذهن

المؤلف:

المکتبة: (طهران)